Skip to content

Conversation

@cristianoc
Copy link
Collaborator

…in positions.

Fixes #6759

@cristianoc cristianoc force-pushed the uppercase_type_args branch from bb61444 to b1cf19d Compare June 19, 2024 06:44
@cristianoc cristianoc requested review from cknitt and zth June 19, 2024 06:45
@cristianoc cristianoc force-pushed the uppercase_type_args branch from b1cf19d to f54888e Compare June 19, 2024 06:59
Copy link
Member

@zth zth left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nice! I honestly had no idea we allowed uppercase type variables at all..

Copy link
Member

@cknitt cknitt left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

👍

@cristianoc cristianoc merged commit 70e25f7 into master Jun 19, 2024
@cristianoc cristianoc deleted the uppercase_type_args branch June 19, 2024 16:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Uppercase type arguments don't work in inlined records

4 participants